51![](https://www.pdfsearch.io/img/e11a13c1627b8201fc7d606ccc647131.jpg) | Add to Reading ListSource URL: pagesperso.lina.univ-nantes.frLanguage: English - Date: 2009-07-03 08:57:24
|
---|
52![Paracompact box products (again) Judith Roitman University of Kansas June 2010 Paracompact box products (again) Judith Roitman University of Kansas June 2010](https://www.pdfsearch.io/img/af18a2f37a45abe5fd0f0a17ca60874d.jpg) | Add to Reading ListSource URL: spot.colorado.eduLanguage: English - Date: 2010-06-05 10:07:59
|
---|
53![INTERPOLATION OF -COMPACTNESS AND PCF INTERPOLATION OF -COMPACTNESS AND PCF](https://www.pdfsearch.io/img/798cdae765b84a48e21eacfb97eaa060.jpg) | Add to Reading ListSource URL: spot.colorado.eduLanguage: English - Date: 2010-06-05 22:59:53
|
---|
54![The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH](https://www.pdfsearch.io/img/b31e92e9e53a24db5b5f6e4daddbdb8d.jpg) | Add to Reading ListSource URL: jg.sdf.orgLanguage: English - Date: 2009-12-14 08:47:04
|
---|
55![feeling Feelings COMPACT SPACE, LOS ANGELES feeling Feelings COMPACT SPACE, LOS ANGELES](https://www.pdfsearch.io/img/d1041b35916b674c7b0bcc70e6e8ba5f.jpg) | Add to Reading ListSource URL: meghannmccrory.comLanguage: English - Date: 2013-11-03 14:13:08
|
---|
56![Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]: Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]:](https://www.pdfsearch.io/img/88c4acde54d1045235a636ee5f7ff62f.jpg) | Add to Reading ListSource URL: www.wolframfoundation.orgLanguage: English - Date: 2015-12-15 12:07:17
|
---|
57![MODULI SPACES OF HYPERBOLIC 3-MANIFOLDS AND DYNAMICS ON CHARACTER VARIETIES RICHARD D. CANARY AND PETER A. STORM Abstract. The space AH(M ) of marked hyperbolic 3-manifold homotopy equivalent to a compact 3-manifold with MODULI SPACES OF HYPERBOLIC 3-MANIFOLDS AND DYNAMICS ON CHARACTER VARIETIES RICHARD D. CANARY AND PETER A. STORM Abstract. The space AH(M ) of marked hyperbolic 3-manifold homotopy equivalent to a compact 3-manifold with](https://www.pdfsearch.io/img/765ff25c0c475379969852b13ffe4be8.jpg) | Add to Reading ListSource URL: www.math.lsa.umich.eduLanguage: English - Date: 2010-10-18 19:08:52
|
---|
58![On the computational content of the Krasnoselski and Ishikawa fixed point theorems Ulrich Kohlenbach BRICS⋆ Department of Computer Science, University of Aarhus, On the computational content of the Krasnoselski and Ishikawa fixed point theorems Ulrich Kohlenbach BRICS⋆ Department of Computer Science, University of Aarhus,](https://www.pdfsearch.io/img/2a7fdaab7120cf482f09cdb549e39449.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-16 09:11:48
|
---|
59![REVERSE MATHEMATICS, WELL-QUASI-ORDERS, AND NOETHERIAN SPACES EMANUELE FRITTAION, MATT HENDTLASS, ALBERTO MARCONE, PAUL SHAFER, AND JEROEN VAN DER MEEREN Abstract. A quasi-order Q induces two natural quasi-orders on P(Q) REVERSE MATHEMATICS, WELL-QUASI-ORDERS, AND NOETHERIAN SPACES EMANUELE FRITTAION, MATT HENDTLASS, ALBERTO MARCONE, PAUL SHAFER, AND JEROEN VAN DER MEEREN Abstract. A quasi-order Q induces two natural quasi-orders on P(Q)](https://www.pdfsearch.io/img/859b1d11b5e83e71cc217cde88455db2.jpg) | Add to Reading ListSource URL: www.math.tohoku.ac.jpLanguage: English - Date: 2016-02-20 21:08:52
|
---|
60![cvec Compact vectors over finite fields Max Neunhöffer cvec Compact vectors over finite fields Max Neunhöffer](https://www.pdfsearch.io/img/86a63628e464f3906ba307d6c1a025cf.jpg) | Add to Reading ListSource URL: www.gap-system.orgLanguage: English - Date: 2016-06-10 09:36:56
|
---|